1. Hilbert's Program :
پدیدآورنده : by Michael Detlefsen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
2. Hilbert's program : an essay on mathematical instrumentalism
پدیدآورنده : Detlefsen, Michael, 8491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics -- Philosophy,، Hilbert, David, 2681-3491
رده :
QA
9
.
2
.
D48
3. Logic From A to z
پدیدآورنده : Detlefsen, Michael
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
QA
9
.
D4
L6
1999
4. Logic from A to Z
پدیدآورنده : Detlefsen, Michael, 8491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Dictionaries ، Logic
رده :
QA
9
.
D45L6
5. Logic from A to Z
پدیدآورنده : Detlefsen, Michael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Philosophy -- Encyclopedias ، Mathematics,Encyclopedias ، Logic, Symbolic and mathematical
رده :
QA
9
.
D474
1999
6. Logic from A to Z
پدیدآورنده : Detlefsen, Michael
موضوع : Dictionaries ، Logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Logic from A to Z
پدیدآورنده : Detlefsen, Michael, 8491-
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : Dictionaries ، Logic
رده :
QA
9
.
D4L6
8. Login from A to Z
پدیدآورنده : Michael Detlefsen, David Charles McCarty, John B. Bacon
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Logic -- Dictionaries
رده :
QA
9
.
D47
1999
9. Proof, logic, and formalization
پدیدآورنده : edited by Michael Detlefsen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
P75
10. Proof, logic, and formalization
پدیدآورنده : / edited by Michael Detlefsen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع :
رده :
E-BOOK
11. Proof, logic, and formalization
پدیدآورنده : edited by Michael Detlefsen
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical,، Logique symbolique et math?شmatique,، Math?شmatiques - Philosophie,، Preuve, Th?شorie de la,، Aufsatzsammlung
رده :
QA9
.
54
.
P77
1991
